../ours/run.c